√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

當前位置: 在線翻譯 > 英語翻譯 > reactive system
ONOFF
劃詞翻譯
導(dǎo)航
建議反饋
詞典App

reactive system中文是什么意思

  • 反應(yīng)系統(tǒng)

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

  • 例句與用法
  • Bounded model checking has been recently introduced as an efficient verification method for reactive systems
    Ctl的有界模型檢測模型檢測是一種強有力的系統(tǒng)驗證技術(shù)。
  • As an important reactive systems , real - time systems has been used widely in safety - critical field , so it ' s safety and reliability must been guaranteed
    實時系統(tǒng)作為一種在現(xiàn)實中廣泛使用的反應(yīng)型系統(tǒng),因其大多使用于安全攸關(guān)的領(lǐng)域,所以必須保證它的安全可靠。
  • Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system
    但是因為它又有別于一般的反應(yīng)型系統(tǒng),所以我們接著介紹了實時系統(tǒng)的特殊性,并且介紹了形式化方法面向?qū)崟r系統(tǒng)的擴展。
  • This thesis presents a powerful methodology for specifying scenario - based requirements of reactive systems , in which behaviors are " played in " directly from the system ' s gui or some abstract version thereof , and can then be " played out "
    用這個工具用戶直接從系統(tǒng)的原型gui界面取“ playin ”場景,并且可以“ playout ”這些場景,從而獲取并確認需求。
  • The test result has proved : based on ecdf model , e has got a high executing efficiency and a well real - time performance over event - driven operating systems . it is not only suit for high speed burst data flow processing , but also can be used in reactive system design
    測試結(jié)果表明:與原有的基于dhdf模型的可視化語言相比, e語言不僅實現(xiàn)了并發(fā)運行機制,而且在事件驅(qū)動的操作系統(tǒng)上運行時具有更高的效率和更好的實時性能。
  • 21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
    本文分別在語法和語義層次上對動作精化進行了定義,并證明了這兩個層次的動作精化在前述兩種等價關(guān)系下,關(guān)于一種基于完全偏序的指稱語義是一致的。
  • In recent measuring method , protein electrophoresis is rapid , accurate , steady and economic , not affected by environment condition , we improve reactive system of our national tentative com protein gelatinous electrophoresis , and that which is more adapted to imaging process
    在玉米種子純度檢測的方法中,蛋白質(zhì)凝膠電泳法具有快速、準確、穩(wěn)定、經(jīng)濟、不受環(huán)境條件影響等特點,因此,選取此方法作為種子純度檢測方法。對國家試行的玉米蛋白凝膠電泳法的反映體系進行了改進,使得到的圖像更清晰。
  • 百科解釋
A reactive system is a system that responds (reacts) to external events.
詳細百科解釋
  • 推薦英語閱讀
reactive system的中文翻譯,reactive system是什么意思,怎么用漢語翻譯reactive system,reactive system的中文意思,reactive system的中文reactive system in Chinese,reactive system的中文,reactive system怎么讀,發(fā)音,例句,用法和解釋由查查在線詞典提供,版權(quán)所有違者必究。

說出您的建議或使用心得